Q&A: Kurt Wüthrich

Reflections on Kurt Gödel

Except for a few minor corrections this second printing is identical to the first ([Wang 1987]). The book is meant to be a first attempt to consider G’s life and work as a whole within an inclusive context that, except maybe for chapters 6, 10, and 11, is accessible to most thoughtful people. The many personal contacts that W had with G during the later years of G’s life makes him an important ...

Qa@l2f@qa@clef

This paper introduces L2F’s (INESC-ID) question/answering system and presents its results in the QA@CLEF07 evaluation task. QA@LF bases its performance on a high-quality deep linguistic analysis of the question, which is strongly based on named entity recognition. However, if a precise analysis is not possible or if no answer is found in previous processed data, the system is also capable of re...

INTERNET - DRAFT Kurt

This document provides procedures for registering extensible elements of LDAP (Lightweight Directory Access Protocol). The document also provides guidelines to IANA (Internet Assigned Numbers Authority) describing conditions under which new values can be assigned. Zeilenga IANA Considerations for LDAP [Page 1] INTERNET-DRAFT draft-ietf-ldapbis-iana-05.txt 20 December 2001

Kurt Henry Johnsen

Kurt Gödel and Computability Theory

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda ...